制诏：蜀，蕞尔小国，土狭民寡，而姜维虐用其众，曾无废志。往岁破败之后，犹复耕种沓中，刻剥众羌，劳役无已，民不堪命。夫兼弱攻昧，武之善经，致人而不致于人，兵家之上略。蜀所恃赖，唯维而已，因其远离巢窟，用力为易。今使征西将军邓艾督帅诸军，趣甘松、沓中以罗取维，雍州刺史诸葛绪督诸军趣武都（、《文馆词林》作「武街」。）高楼，首尾踧讨，若擒维，便当东西并进，扫灭巴蜀也（《魏志·陈留王纪》，《文馆词林》六百六十二）。

艾曜威奋武，深入虏庭，斩将搴旗，枭其鲸鲵，使僭号之主，稽首系颈；历世逋诛，一朝而平。兵不逾时，战不终日，云彻席卷，荡定巴蜀。虽白起破强楚，韩信克劲赵，吴汉禽子阳，亚夫灭七国，计功论美，不足比勋也。其以艾为太尉，增邑二万户，封子二人亭侯，各食邑千户（《魏志·邓艾传》）。

会所向摧弊，前无强敌。缄制众城，罔罗迸逸。蜀之豪帅，面缚归命。谋无遗策，举无废功。凡所降诛，动以万计。全胜独克，有征无战。拓平西夏，方隅清晏。其以会为司徒，进封县侯，增邑万户，封子二人亭侯，邑各千户（《魏志·钟会传》）。